From: Julien Cristau Date: Tue, 19 May 2009 15:24:52 +0000 (+0200) Subject: Put manpages in section 3o instead of 3 X-Git-Tag: archive/raspbian/5.4.0-2+rpi1^2~6 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=696c447976d72ea43619b2d119cd6319b304e721;p=ocaml.git Put manpages in section 3o instead of 3 Gbp-Pq: Name Put-manpages-in-section-3o-instead-of-3.patch --- diff --git a/api_docgen/ocamldoc/Makefile b/api_docgen/ocamldoc/Makefile index 058f88c2..832cae7c 100644 --- a/api_docgen/ocamldoc/Makefile +++ b/api_docgen/ocamldoc/Makefile @@ -61,6 +61,7 @@ build/libref/%.odoc: build/%.mld | build/libref ALL_COMPILED_DOC=$(ALL_DOC:%=build/%.odoc) build/man/Stdlib.3o: $(ALL_COMPILED_DOC) | build/man $(V_OCAMLDOC)$(OCAMLDOC_RUN) -man -d build/man -man-mini \ + -man-section 3o \ -nostdlib -hide Stdlib -lib Stdlib -t "OCaml library" \ $(addprefix -load , $(ALL_COMPILED_DOC))